workmen's settlement